Перевод: с английского на все языки

со всех языков на английский

to produce proofs

См. также в других словарях:

  • Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… …   Wikipedia

  • Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… …   Wikipedia

  • Bidun — jinsiya (or bidoon jinsiya ) is an Arabic term meaning without nationality. Usually referred to simply as bidun (بِدون), the term refers to the stateless people of certain Bedouin tribes in Kuwait and Bahrain whose members were not granted… …   Wikipedia

  • Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… …   Wikipedia

  • Pierre Coton —     Pierre Coton     † Catholic Encyclopedia ► Pierre Coton     A celebrated French Jesuit, born 7 March, 1564, at Néronde in Forez; died 19 March, 1626, at Paris. He studied law at Paris and Bourges, entered the Society of Jesus at the age of… …   Catholic encyclopedia

  • Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… …   Wikipedia

  • printmaking — /print may king/, n. the art or technique of making prints, esp. as practiced in engraving, etching, drypoint, woodcut or serigraphy. [1925 30; PRINT + MAKING] * * * Art form consisting of the production of images, usually on paper but… …   Universalium

  • PHILOSOPHY, JEWISH — This article is arranged according to the following outline: WHAT IS JEWISH PHILOSOPHY? recent histories of jewish philosophy biblical and rabbinic antecedents bible rabbinic literature hellenistic jewish philosophy philo of alexandria biblical… …   Encyclopedia of Judaism

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… …   Universalium

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»